Constraint-based Error Diagnosis in Logic Programming

Set-based Error Diagnosis of Concurrent Constraint Programs

We present an automated method for the static prediction of the runtime error`deadlock or failure' in concurrent constraint programs. Operationally, the method is based on a new set-based analysis of reactive logic programs which computes an approximation of the greatest-model semantics. Semantically , the method is based on the connection between the inevitability of`deadlock or failure' in co...

Using Prolog Design Patterns to Support Constraint- Based Error Diagnosis in Logic Programming

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs

This paper presents the first approximation method of the finite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs with ongoing behaviors (perpetual processes). Our technical contributions are (1) the semantical characterization of finite failure of logic programs over infinite trees and (2) the design and soundness proof of the...

Declarative Debugging in Constraint Logic Programming

This paper is motivated by the declarative insuuciency diagnosis of constraint logic programs, but focuses only on theoretical viewpoints. Many techniques have been developed for logic programming but cannot be merely adapted to constraint logic programming. Constraint logic program semantics is redeened in terms of proof trees using a cover relation. Proof trees give an intrinsic deenition to ...

Evaluation of a Constraint-based Error Diagnosis System for Logic Programming

We applied the constraint-based approach to develop a web-based diagnosis system for Prolog. In this paper, we introduce the results of our formative evaluation which reflects the current effectiveness of our system. We gathered 261 log files which are created by 99 users contained records of interactions with the tutoring system. In addition, we present the common problems of Prolog novice pro...